首页> 外文OA文献 >A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software
【2h】

A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software

机译:安全分析实证评估的对照实验   安全关键软件的技术

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

Context: Today's safety critical systems are increasingly reliant onsoftware. Software becomes responsible for most of the critical functions ofsystems. Many different safety analysis techniques have been developed toidentify hazards of systems. FTA and FMEA are most commonly used by safetyanalysts. Recently, STPA has been proposed with the goal to better cope withcomplex systems including software. Objective: This research aimed at comparingquantitatively these three safety analysis techniques with regard to theireffectiveness, applicability, understandability, ease of use and efficiency inidentifying software safety requirements at the system level. Method: Weconducted a controlled experiment with 21 master and bachelor students applyingthese three techniques to three safety-critical systems: train door control,anti-lock braking and traffic collision and avoidance. Results: The resultsshowed that there is no statistically significant difference between thesetechniques in terms of applicability, understandability and ease of use, but asignificant difference in terms of effectiveness and efficiency is obtained.Conclusion: We conclude that STPA seems to be an effective method to identifysoftware safety requirements at the system level. In particular, STPA addressesmore different software safety requirements than the traditional techniques FTAand FMEA, but STPA needs more time to carry out by safety analysts with littleor no prior experience.
机译:背景:当今的安全关键系统越来越依赖于软件。软件负责系统的大多数关键功能。已经开发出许多不同的安全分析技术来识别系统的危害。安全分析师最常使用FTA和FMEA。最近,提出了STPA,其目的是更好地应对包括软件在内的复杂系统。目的:本研究旨在定量比较这三种安全性分析技术的有效性,适用性,可理解性,易用性和效率,以识别系统级别的软件安全性要求。方法:我们对21名硕士和本科生进行了一项受控实验,将这三种技术应用到三个对安全至关重要的系统:火车门控制,防抱死制动和交通碰撞与回避。结果:结果表明,这些技术在适用性,可理解性和易用性方面没有统计学上的显着差异,但在有效性和效率方面却存在显着差异。结论:我们得出结论:STPA似乎是一种识别软件的有效方法系统级别的安全要求。特别是,与传统技术FTA和FMEA相比,STPA解决了更多不同的软件安全要求,但是STPA需要更多时间来由很少或没有经验的安全分析师执行。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号